ePMC

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 60
Property:crash (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files pacman.nm --model-input-type prism --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const MAXSTEPS=60
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 1179 1179
build-model-states-explored 2521 1342
build-model-states-explored 3948 1427
build-model-states-explored 5371 1423
build-model-states-explored 6732 1361
build-model-states-explored 8106 1374
build-model-states-explored 9667 1561
build-model-states-explored 11097 1430
build-model-states-explored 12464 1367
build-model-states-explored 13814 1350
build-model-states-explored 15181 1367
build-model-states-explored 16690 1509
build-model-states-explored 18301 1611
build-model-states-explored 19895 1594
build-model-states-explored 21299 1404
build-model-states-explored 22638 1339
build-model-states-explored 24002 1364
build-model-states-explored 25366 1363
build-model-states-explored 26731 1366
build-model-states-explored 28064 1333
build-model-states-explored 29438 1374
build-model-states-explored 30810 1372
build-model-states-explored 32181 1371
build-model-states-explored 33612 1431
build-model-states-explored 35226 1614
build-model-states-explored 36827 1601
build-model-states-explored 38433 1606
build-model-states-explored 40027 1594
build-model-states-explored 41466 1439
build-model-states-explored 42827 1361
build-model-states-explored 44180 1353
build-model-states-explored 45542 1362
build-model-states-explored 46903 1361
build-model-states-explored 48258 1355
build-model-states-explored 49615 1357
build-model-states-explored 50973 1358
build-model-states-explored 52346 1373
build-model-states-explored 53719 1373
build-model-states-explored 55000 1281
build-model-states-explored 56372 1372
build-model-states-explored 57741 1369
build-model-states-explored 59115 1374
build-model-states-explored 60486 1371
build-model-states-explored 61860 1374
build-model-states-explored 63234 1374
build-model-states-explored 64805 1571
build-model-states-explored 66416 1611
build-model-states-explored 68027 1611
build-model-states-explored 69624 1597
build-model-states-explored 71246 1622
build-model-states-explored 72846 1600
build-model-states-explored 74447 1601
build-model-states-explored 76057 1610
build-model-states-explored 77682 1625
build-model-states-explored 79132 1450
build-model-states-explored 80500 1368
build-model-states-explored 81867 1367
build-model-states-explored 83223 1356
build-model-states-explored 84590 1367
build-model-states-explored 85953 1363
build-model-states-explored 87316 1363
build-model-states-explored 88679 1363
build-model-states-explored 90039 1360
build-model-states-explored 91404 1365
build-model-states-explored 92762 1358
build-model-states-explored 94126 1364
build-model-states-explored 95483 1357
build-model-states-explored 96853 1370
build-model-states-explored 98219 1366
build-model-states-explored 99589 1370
build-model-states-explored 100960 1371
build-model-states-explored 102331 1371
build-model-states-explored 103702 1371
build-model-states-explored 105075 1373
build-model-states-explored 106445 1370
build-model-states-explored 107806 1361
build-model-states-explored 109001 1195
build-model-states-explored 110380 1379
build-model-states-explored 111755 1375
build-model-states-explored 113127 1372
build-model-states-explored 114499 1372
build-model-states-explored 115877 1378
build-model-states-explored 117254 1377
build-model-states-explored 118630 1376
build-model-states-explored 120021 1391
build-model-states-explored 121629 1608
build-model-states-explored 123259 1630
build-model-states-explored 124883 1624
build-model-states-explored 126504 1621
build-model-states-explored 128110 1606
build-model-states-explored 129738 1628
build-model-states-explored 131357 1619
build-model-states-explored 132976 1619
build-model-states-explored 134593 1617
build-model-states-explored 136207 1614
build-model-states-explored 137821 1614
build-model-states-explored 139450 1629
build-model-states-explored 141057 1607
build-model-states-explored 142678 1621
build-model-states-explored 144295 1617
build-model-states-explored 145677 1382
build-model-states-explored 147033 1356
build-model-states-explored 148392 1359
build-model-states-explored 149753 1361
build-model-states-explored 151117 1364
build-model-states-explored 152474 1357
build-model-states-explored 153846 1372
build-model-states-explored 155216 1370
build-model-states-explored 156584 1368
build-model-states-explored 157947 1363
build-model-states-explored 159310 1363
build-model-states-explored 160669 1359
build-model-states-explored 162027 1358
build-model-states-explored 163390 1363
build-model-states-explored 164757 1367
build-model-states-explored 166119 1362
build-model-states-explored 167484 1365
build-model-states-explored 168852 1368
build-model-states-explored 170214 1362
build-model-states-explored 171579 1365
build-model-states-explored 172945 1366
build-model-states-explored 174307 1362
build-model-states-explored 175678 1371
build-model-states-explored 177047 1369
build-model-states-explored 178420 1373
build-model-states-explored 179791 1371
build-model-states-explored 181166 1375
build-model-states-explored 182539 1373
build-model-states-explored 183917 1378
build-model-states-explored 185293 1376
build-model-states-explored 186663 1370
build-model-states-explored 188037 1374
build-model-states-explored 189409 1372
build-model-states-explored 190783 1374
build-model-states-explored 192154 1371
build-model-states-explored 193501 1347
build-model-states-explored 194794 1293
build-model-states-explored 196168 1374
build-model-states-explored 197545 1377
build-model-states-explored 198920 1375
build-model-states-explored 200293 1373
build-model-states-explored 201660 1367
build-model-states-explored 203033 1373
build-model-states-explored 204406 1373
build-model-states-explored 205782 1376
build-model-states-explored 207155 1373
build-model-states-explored 208529 1374
build-model-states-explored 209910 1381
build-model-states-explored 211267 1357
build-model-states-explored 212641 1374
build-model-states-explored 214227 1586
build-model-states-explored 215848 1621
build-model-states-explored 217039 1191
build-model-states-explored 218650 1611
build-model-states-explored 220268 1618
build-model-states-explored 221875 1607
build-model-states-explored 223487 1612
build-model-states-explored 225085 1598
build-model-states-explored 226684 1599
build-model-states-explored 228293 1609
build-model-states-explored 229902 1609
build-model-states-explored 231506 1604
build-model-states-explored 233111 1605
build-model-states-explored 234723 1612
build-model-states-explored 236322 1599
build-model-states-explored 237890 1568
build-model-states-explored 239487 1597
build-model-states-explored 241108 1621
build-model-states-explored 242701 1593
build-model-states-explored 244315 1614
build-model-states-explored 245919 1604
build-model-states-explored 247527 1608
build-model-states-explored 249137 1610
build-model-states-explored 250750 1613
build-model-states-explored 252363 1613
build-model-states-explored 253801 1438
build-model-states-explored 255163 1362
build-model-states-explored 256525 1362
build-model-states-explored 257879 1354
build-model-states-explored 259242 1363
build-model-states-explored 260604 1362
build-model-states-explored 261966 1362
build-model-states-explored 263309 1343
build-model-states-explored 264669 1360
build-model-states-explored 266024 1355
build-model-states-explored 267378 1354
build-model-states-explored 268741 1363
build-model-states-explored 270101 1360
build-model-states-explored 271461 1360
build-model-states-explored 272822 1361
build-model-states-explored 274183 1360
build-model-states-explored 275546 1364
build-model-states-explored 276909 1363
build-model-states-explored 278272 1363
build-model-states-explored 279585 1313
build-model-states-explored 280927 1342
build-model-states-explored 282291 1364
build-model-states-explored 283655 1364
build-model-states-explored 285022 1367
build-model-states-explored 286381 1359
build-model-states-explored 287742 1361
build-model-states-explored 289107 1365
build-model-states-explored 290471 1364
build-model-states-explored 291832 1361
build-model-states-explored 293190 1358
build-model-states-explored 294552 1362
build-model-states-explored 295916 1364
build-model-states-explored 297274 1358
build-model-states-explored 298633 1359
build-model-states-explored 299992 1359
build-model-states-explored 301354 1362
build-model-states-explored 302714 1360
build-model-states-explored 304076 1362
build-model-states-explored 305440 1364
build-model-states-explored 306808 1368
build-model-states-explored 308174 1366
build-model-states-explored 309544 1370
build-model-states-explored 310911 1367
build-model-states-explored 312283 1372
build-model-states-explored 313653 1370
build-model-states-explored 315023 1370
build-model-states-explored 316391 1368
build-model-states-explored 317760 1369
build-model-states-explored 319135 1375
build-model-states-explored 320501 1366
build-model-states-explored 321833 1332
build-model-states-explored 323200 1367
build-model-states-explored 324569 1369
build-model-states-explored 325940 1371
build-model-states-explored 327308 1368
build-model-states-explored 328680 1372
build-model-states-explored 330044 1364
build-model-states-explored 331411 1367
build-model-states-explored 332781 1370
build-model-states-explored 334150 1369
build-model-states-explored 335505 1355
build-model-states-explored 336879 1374
build-model-states-explored 338246 1367
build-model-states-explored 339616 1370
build-model-states-explored 340984 1368
build-model-states-explored 342332 1348
build-model-states-explored 343696 1364
build-model-states-explored 345067 1371
build-model-states-explored 346437 1370
build-model-states-explored 347809 1372
build-model-states-explored 349183 1374
build-model-states-explored 350553 1370
build-model-states-explored 351924 1371
build-model-states-explored 353298 1374
build-model-states-explored 354670 1372
build-model-states-explored 356043 1373
build-model-states-explored 357411 1368
build-model-states-explored 358786 1375
build-model-states-explored 360157 1371
build-model-states-explored 361748 1591
build-model-states-explored 363349 1601
build-model-states-explored 364970 1621
build-model-states-explored 366588 1618
build-model-states-explored 368208 1620
build-model-states-explored 369832 1624
build-model-states-explored 371451 1619
build-model-states-explored 373072 1621
build-model-states-explored 374687 1615
build-model-states-explored 376308 1621
build-model-states-explored 377921 1613
build-model-states-explored 379525 1604
build-model-states-explored 381128 1603
build-model-states-explored 382694 1566
build-model-states-explored 384307 1613
build-model-states-explored 385921 1614
build-model-states-explored 387542 1621
build-model-states-explored 389159 1617
build-model-states-explored 390773 1614
build-model-states-explored 392388 1615
build-model-states-explored 393987 1599
build-model-states-explored 395587 1600
build-model-states-explored 397181 1594
build-model-states-explored 398786 1605
build-model-states-explored 400389 1603
build-model-states-explored 402003 1614
build-model-states-explored 403592 1589
build-model-states-explored 405203 1611
build-model-states-explored 406812 1609
build-model-states-explored 408430 1618
build-model-states-explored 410049 1619
build-model-states-explored 410768 719
build-model-states-explored 412318 1550
build-model-states-explored 413930 1612
build-model-states-explored 415553 1623
build-model-states-explored 417173 1620
build-model-states-explored 418749 1576
build-model-states-explored 420357 1608
build-model-states-explored 421739 1382
build-model-states-explored 423104 1365
build-model-states-explored 424469 1365
build-model-states-explored 425835 1366
build-model-states-explored 427198 1363
build-model-states-explored 428562 1364
build-model-states-explored 429926 1364
build-model-states-explored 431289 1363
build-model-states-explored 432653 1364
build-model-states-explored 434016 1363
build-model-states-explored 435379 1363
build-model-states-explored 436740 1361
build-model-states-explored 438098 1358
build-model-states-explored 439457 1359
build-model-states-explored 440823 1366
build-model-states-explored 442188 1365
build-model-states-explored 443546 1358
build-model-states-explored 444909 1363
build-model-states-explored 446270 1361
build-model-states-explored 447631 1361
build-model-states-explored 448993 1362
build-model-states-explored 450349 1356
build-model-states-explored 451713 1364
build-model-states-explored 453068 1355
build-model-states-explored 454432 1364
build-model-states-explored 455794 1362
build-model-states-explored 457152 1358
build-model-states-explored 458513 1361
build-model-states-explored 459868 1355
build-model-states-explored 461231 1363
build-model-states-explored 462586 1355
build-model-states-explored 463944 1358
build-model-states-explored 465304 1360
build-model-states-explored 466665 1361
build-model-states-explored 468025 1360
build-model-states-explored 469384 1359
build-model-states-explored 470739 1355
build-model-states-explored 472102 1363
build-model-states-explored 473467 1365
build-model-states-explored 474825 1358
build-model-states-explored 476188 1363
build-model-states-explored 477547 1359
build-model-states-explored 478909 1362
build-model-states-explored 480273 1364
build-model-states-explored 481639 1366
build-model-states-explored 483003 1364
build-model-states-explored 484366 1363
build-model-states-explored 485720 1354
build-model-states-explored 487081 1361
build-model-states-explored 488439 1358
build-model-states-explored 489800 1361
build-model-states-explored 491163 1363
build-model-states-explored 492524 1361
build-model-states-explored 493853 1329
build-model-states-explored 495211 1358
build-model-states-explored 496575 1364
build-model-states-explored 497940 1365
build-model-states-explored 499305 1365
build-model-states-explored 500641 1336
build-model-states-explored 502010 1369
build-model-states-explored 503373 1363
build-model-states-explored 504747 1374
build-model-states-explored 506118 1371
build-model-states-explored 507489 1371
build-model-states-explored 508855 1366
build-model-states-explored 510225 1370
build-model-states-explored 511590 1365
build-model-states-explored 512957 1367
build-model-states-explored 514302 1345
build-model-states-explored 515666 1364
build-model-states-explored 517030 1364
build-model-states-explored 518396 1366
build-model-states-explored 519765 1369
build-model-states-explored 521131 1366
build-model-states-explored 522498 1367
build-model-states-explored 523863 1365
build-model-states-explored 525198 1335
build-model-states-explored 526566 1368
build-model-states-explored 527927 1361
build-model-states-explored 529291 1364
build-model-states-explored 530660 1369
build-model-states-explored 532025 1365
build-model-states-explored 533389 1364
build-model-states-explored 534731 1342
build-model-states-explored 536103 1372
build-model-states-explored 537474 1371
build-model-states-explored 538842 1368
build-model-states-explored 540210 1368
build-model-states-explored 541577 1367
build-model-states-explored 542946 1369
build-model-states-explored 544314 1368
build-model-states-explored 545683 1369
build-model-states-explored 547051 1368
build-model-states-explored 548418 1367
build-model-states-explored 549784 1366
build-model-states-explored 551151 1367
build-model-states-explored 552472 1321
build-model-states-explored 553832 1360
build-model-states-explored 555192 1360
build-model-states-explored 556563 1371
build-model-states-explored 557932 1369
build-model-states-explored 559304 1372
build-model-states-explored 560675 1371
build-model-states-explored 562046 1371
build-model-states-explored 563418 1372
build-model-states-explored 564788 1370
build-model-states-explored 566157 1369
build-model-states-explored 567529 1372
build-model-states-explored 568877 1348
build-model-states-explored 570247 1370
build-model-states-explored 571616 1369
build-model-states-explored 572981 1365
build-model-states-explored 574355 1374
build-model-states-explored 575691 1336
build-model-states-explored 577017 1326
build-model-states-explored 578543 1526
build-model-states-explored 580128 1585
build-model-states-explored 581733 1605
build-model-states-explored 583346 1613
build-model-states-explored 584955 1609
build-model-states-explored 586561 1606
build-model-states-explored 588174 1613
build-model-states-explored 589781 1607
build-model-states-explored 591394 1613
build-model-states-explored 592999 1605
build-model-states-explored 594618 1619
build-model-states-explored 596236 1618
build-model-states-explored 597846 1610
build-model-states-explored 599457 1611
build-model-states-explored 601064 1607
build-model-states-explored 602670 1606
build-model-states-explored 604250 1580
build-model-states-explored 605864 1614
build-model-states-explored 607468 1604
build-model-states-explored 609078 1610
build-model-states-explored 610678 1600
build-model-states-explored 612287 1609
build-model-states-explored 613905 1618
build-model-states-explored 615518 1613
build-model-states-explored 617130 1612
build-model-states-explored 618748 1618
build-model-states-explored 620366 1618
build-model-states-explored 621980 1614
build-model-states-explored 623587 1607
build-model-states-explored 625198 1611
build-model-states-explored 626806 1608
build-model-states-explored 628426 1620
build-model-states-explored 630029 1603
build-model-states-explored 631626 1597
build-model-states-explored 633234 1608
build-model-states-explored 634838 1604
build-model-states-explored 636444 1606
build-model-states-explored 638049 1605
build-model-states-explored 639662 1613
build-model-states-explored 641276 1614
build-model-states-explored 642878 1602
build-model-states-explored 644485 1607
build-model-states-explored 646101 1616
build-model-states-explored 647714 1613
build-model-states-explored 649328 1614
build-model-states-explored 650935 1607
build-model-states-explored 652539 1604
build-model-states-explored 654151 1612
build-model-states-explored 655756 1605
build-model-states-explored 657363 1607
build-model-states-explored 658976 1613
build-model-states-explored 660591 1615
build-model-states-explored 662197 1606
build-model-states-explored 663646 1449
build-model-states-explored 665007 1361
build-model-states-explored 666364 1357
build-model-states-explored 667712 1348
build-model-states-explored 669073 1361
build-model-states-explored 670404 1331
build-model-states-explored 671704 1300
build-model-states-explored 673067 1363
build-model-states-explored 674422 1355
build-model-states-explored 675785 1363
build-model-states-explored 677145 1360
build-model-states-explored 678503 1358
build-model-states-explored 679829 1326
build-model-states-explored 681188 1359
build-model-states-explored 682547 1359
build-model-states-explored 683873 1326
build-model-states-explored 685178 1305
build-model-states-explored 686519 1341
build-model-states-explored 687881 1362
build-model-states-explored 689240 1359
build-model-states-explored 690607 1367
build-model-states-explored 691968 1361
build-model-states-explored 693329 1361
build-model-states-explored 694691 1362
build-model-states-explored 696054 1363
build-model-states-explored 697415 1361
build-model-states-explored 698776 1361
build-model-states-explored 700135 1359
build-model-states-explored 701487 1352
build-model-states-explored 702841 1354
build-model-states-explored 704194 1353
build-model-states-explored 705552 1358
build-model-states-explored 706908 1356
build-model-states-explored 708265 1357
build-model-states-explored 709623 1358
build-model-states-explored 710976 1353
build-model-states-explored 712340 1364
build-model-states-explored 713701 1361
build-model-states-explored 715062 1361
build-model-states-explored 716422 1360
build-model-states-explored 717780 1358
build-model-states-explored 719141 1361
build-model-states-explored 720502 1361
build-model-states-explored 721864 1362
build-model-states-explored 723223 1359
build-model-states-explored 724578 1355
build-model-states-explored 725939 1361
build-model-states-explored 727294 1355
build-model-states-explored 728640 1346
build-model-states-explored 730001 1361
build-model-states-explored 731360 1359
build-model-states-explored 732721 1361
build-model-states-explored 734080 1359
build-model-states-explored 735438 1358
build-model-states-explored 736795 1357
build-model-states-explored 738155 1360
build-model-states-explored 739517 1362
build-model-states-explored 740878 1361
build-model-states-explored 742239 1361
build-model-states-explored 743599 1360
build-model-states-explored 744958 1359
build-model-states-explored 746319 1361
build-model-states-explored 747678 1359
build-model-states-explored 749035 1357
build-model-states-explored 750394 1359
build-model-states-explored 751749 1355
build-model-states-explored 753105 1356
build-model-states-explored 754457 1352
build-model-states-explored 755812 1355
build-model-states-explored 757171 1359
build-model-states-explored 758529 1358
build-model-states-explored 759886 1357
build-model-states-explored 761243 1357
build-model-states-explored 762606 1363
build-model-states-explored 763964 1358
build-model-states-explored 765317 1353
build-model-states-explored 766605 1288
build-model-states-explored 767963 1358
build-model-states-explored 769326 1363
build-model-states-explored 770688 1362
build-model-states-explored 772050 1362
build-model-states-explored 773407 1357
build-model-states-explored 774775 1368
build-model-states-explored 776141 1366
build-model-states-explored 777511 1370
build-model-states-explored 778873 1362
build-model-states-explored 780235 1362
build-model-states-explored 781603 1368
build-model-states-explored 782968 1365
build-model-states-explored 784333 1365
build-model-states-explored 785698 1365
build-model-states-explored 787069 1371
build-model-states-explored 788435 1366
build-model-states-explored 789800 1365
build-model-states-explored 791163 1363
build-model-states-explored 792505 1342
build-model-states-explored 793819 1314
build-model-states-explored 795189 1370
build-model-states-explored 796562 1373
build-model-states-explored 797926 1364
build-model-states-explored 799293 1367
build-model-states-explored 800659 1366
build-model-states-explored 802029 1370
build-model-states-explored 803398 1369
build-model-states-explored 804760 1362
build-model-states-explored 806127 1367
build-model-states-explored 807498 1371
build-model-states-explored 808869 1371
build-model-states-explored 810237 1368
build-model-states-explored 811601 1364
build-model-states-explored 812962 1361
build-model-states-explored 814327 1365
build-model-states-explored 815691 1364
build-model-states-explored 817054 1363
build-model-states-explored 818421 1367
build-model-states-explored 819782 1361
build-model-states-explored 821152 1370
build-model-states-explored 822521 1369
build-model-states-explored 823881 1360
build-model-states-explored 825250 1369
build-model-states-explored 826613 1363
build-model-states-explored 827975 1362
build-model-states-explored 829341 1366
build-model-states-explored 830709 1368
build-model-states-explored 832075 1366
build-model-states-explored 833423 1348
build-model-states-explored 834788 1365
build-model-states-explored 836155 1367
build-model-states-explored 837526 1371
build-model-states-explored 838898 1372
build-model-states-explored 840266 1368
build-model-states-explored 841630 1364
build-model-states-explored 842998 1368
build-model-states-explored 844364 1366
build-model-states-explored 845729 1365
build-model-states-explored 847102 1373
build-model-states-explored 848470 1368
build-model-states-explored 849836 1366
build-model-states-explored 851204 1368
build-model-states-explored 852574 1370
build-model-states-explored 853903 1329
build-model-states-explored 855272 1369
build-model-states-explored 856587 1315
build-model-states-explored 856587 0
build-model-states-explored 857913 1326
build-model-states-explored 859285 1372
build-model-states-explored 860639 1354
build-model-states-explored 862010 1371
build-model-states-explored 863367 1357
build-model-states-explored 864739 1372
build-model-states-explored 866102 1363
build-model-states-explored 867447 1345
build-model-states-explored 868800 1353
build-model-states-explored 870165 1365
build-model-states-explored 871521 1356
build-model-states-explored 872868 1347
build-model-states-explored 874234 1366
build-model-states-explored 875608 1374
build-model-states-explored 876965 1357
build-model-states-explored 878332 1367
build-model-states-explored 879889 1557
build-model-states-explored 881483 1594
build-model-states-explored 883103 1620
build-model-states-explored 884719 1616
build-model-states-explored 886330 1611
build-model-states-explored 887934 1604
build-model-states-explored 889549 1615
build-model-states-explored 891163 1614
build-model-states-explored 892741 1578
build-model-states-explored 894348 1607
build-model-states-explored 895916 1568
build-model-states-explored 897527 1611
build-model-states-explored 899121 1594
build-model-states-explored 900725 1604
build-model-states-explored 902324 1599
build-model-states-explored 903936 1612
build-model-states-explored 905547 1611
build-model-states-explored 907158 1611
build-model-states-explored 908768 1610
build-model-states-explored 910376 1608
build-model-states-explored 911987 1611
build-model-states-explored 913589 1602
build-model-states-explored 915204 1615
build-model-states-explored 916813 1609
build-model-states-explored 918408 1595
build-model-states-explored 919958 1550
build-model-states-explored 921544 1586
build-model-states-explored 923152 1608
build-model-states-explored 924756 1604
build-model-states-explored 926376 1620
build-model-states-explored 927983 1607
build-model-states-explored 929600 1617
build-model-states-explored 931209 1609
build-model-states-explored 932828 1619
build-model-states-explored 934444 1616
build-model-states-explored 936064 1620
build-model-states-explored 937673 1609
build-model-states-explored 939286 1613
build-model-states-explored 940906 1620
build-model-states-explored 942513 1607
build-model-states-explored 944128 1615
build-model-states-explored 945736 1608
build-model-states-explored 947352 1616
build-model-states-explored 948968 1616
build-model-states-explored 950584 1616
build-model-states-explored 952191 1607
build-model-states-explored 953796 1605
build-model-states-explored 955402 1606
build-model-states-explored 957013 1611
build-model-states-explored 958621 1608
build-model-states-explored 960229 1608
build-model-states-explored 961840 1611
build-model-states-explored 963451 1611
build-model-states-explored 965056 1605
build-model-states-explored 966661 1605
build-model-states-explored 968236 1575
build-model-states-explored 969835 1599
build-model-states-explored 971434 1599
build-model-states-explored 973046 1612
build-model-states-explored 974655 1609
build-model-states-explored 976267 1612
build-model-states-explored 977880 1613
build-model-states-explored 979493 1613
build-model-states-explored 981101 1608
build-model-states-explored 982708 1607
build-model-states-explored 984326 1618
build-model-states-explored 985934 1608
build-model-states-explored 987550 1616
build-model-states-explored 989166 1616
build-model-states-explored 990791 1625
build-model-states-explored 992399 1608
build-model-states-explored 994008 1609
build-model-states-explored 995500 1492
build-model-states-explored 996864 1364
build-model-states-explored 998228 1364
build-model-states-explored 999590 1362
build-model-states-explored 1000952 1362
build-model-states-explored 1002312 1360
build-model-states-explored 1003675 1363
build-model-states-explored 1005039 1364
build-model-states-explored 1006402 1363
build-model-states-explored 1007762 1360
build-model-states-explored 1009120 1358
build-model-states-explored 1010479 1359
build-model-states-explored 1011831 1352
build-model-states-explored 1013164 1333
build-model-states-explored 1014495 1331
build-model-states-explored 1015855 1360
build-model-states-explored 1017224 1369
build-model-states-explored 1018583 1359
build-model-states-explored 1019943 1360
build-model-states-explored 1021302 1359
build-model-states-explored 1022667 1365
build-model-states-explored 1024026 1359
build-model-states-explored 1025387 1361
build-model-states-explored 1026752 1365
build-model-states-explored 1028111 1359
build-model-states-explored 1029468 1357
build-model-states-explored 1030828 1360
build-model-states-explored 1032191 1363
build-model-states-explored 1033553 1362
build-model-states-explored 1034916 1363
build-model-states-explored 1036281 1365
build-model-states-explored 1037649 1368
build-model-states-explored 1039008 1359
build-model-states-explored 1040358 1350
build-model-states-explored 1041719 1361
build-model-states-explored 1043083 1364
build-model-states-explored 1044447 1364
build-model-states-explored 1045806 1359
build-model-states-explored 1047171 1365
build-model-states-explored 1048522 1351
build-model-states-explored 1049817 1295
build-model-states-explored 1051170 1353
build-model-states-explored 1052524 1354
build-model-states-explored 1053860 1336
build-model-states-explored 1055220 1360
build-model-states-explored 1056583 1363
build-model-states-explored 1057945 1362
build-model-states-explored 1059308 1363
build-model-states-explored 1060671 1363
build-model-states-explored 1062038 1367
build-model-states-explored 1063401 1363
build-model-states-explored 1064766 1365
build-model-states-explored 1066130 1364
build-model-states-explored 1067495 1365
build-model-states-explored 1068862 1367
build-model-states-explored 1070227 1365
build-model-states-explored 1071577 1350
build-model-states-explored 1072939 1362
build-model-states-explored 1074302 1363
build-model-states-explored 1075668 1366
build-model-states-explored 1077033 1365
build-model-states-explored 1078397 1364
build-model-states-explored 1079766 1369
build-model-states-explored 1081127 1361
build-model-states-explored 1082486 1359
build-model-states-explored 1083849 1363
build-model-states-explored 1085213 1364
build-model-states-explored 1086576 1363
build-model-states-explored 1087920 1344
build-model-states-explored 1089274 1354
build-model-states-explored 1090639 1365
build-model-states-explored 1092004 1365
build-model-states-explored 1093370 1366
build-model-states-explored 1094719 1349
build-model-states-explored 1096081 1362
build-model-states-explored 1097446 1365
build-model-states-explored 1098808 1362
build-model-states-explored 1100167 1359
build-model-states-explored 1101534 1367
build-model-states-explored 1102900 1366
build-model-states-explored 1104269 1369
build-model-states-explored 1105632 1363
build-model-states-explored 1106993 1361
build-model-states-explored 1108356 1363
build-model-states-explored 1109723 1367
build-model-states-explored 1111085 1362
build-model-states-explored 1112453 1368
build-model-states-explored 1113814 1361
build-model-states-explored 1115180 1366
build-model-states-explored 1116544 1364
build-model-states-explored 1117905 1361
build-model-states-explored 1119270 1365
build-model-states-explored 1120638 1368
build-model-states-explored 1122003 1365
build-model-states-explored 1123368 1365
build-model-states-explored 1124730 1362
build-model-states-explored 1126091 1361
build-model-states-explored 1127449 1358
build-model-states-explored 1128809 1360
build-model-states-explored 1130173 1364
build-model-states-explored 1131533 1360
build-model-states-explored 1132894 1361
build-model-states-explored 1134262 1368
build-model-states-explored 1135621 1359
build-model-states-explored 1136986 1365
build-model-states-explored 1138353 1367
build-model-states-explored 1139719 1366
build-model-states-explored 1141085 1366
build-model-states-explored 1142439 1354
build-model-states-explored 1143804 1365
build-model-states-explored 1145171 1367
build-model-states-explored 1146545 1374
build-model-states-explored 1147915 1370
build-model-states-explored 1149282 1367
build-model-states-explored 1150648 1366
build-model-states-explored 1152019 1371
build-model-states-explored 1153386 1367
build-model-states-explored 1154757 1371
build-model-states-explored 1156111 1354
build-model-states-explored 1157474 1363
build-model-states-explored 1158830 1356
build-model-states-explored 1160198 1368
build-model-states-explored 1161542 1344
build-model-states-explored 1162901 1359
build-model-states-explored 1164264 1363
build-model-states-explored 1165629 1365
build-model-states-explored 1167003 1374
build-model-states-explored 1168375 1372
build-model-states-explored 1169744 1369
build-model-states-explored 1171115 1371
build-model-states-explored 1172486 1371
build-model-states-explored 1173856 1370
build-model-states-explored 1175221 1365
build-model-states-explored 1176583 1362
build-model-states-explored 1177956 1373
build-model-states-explored 1179323 1367
build-model-states-explored 1180694 1371
build-model-states-explored 1182056 1362
build-model-states-explored 1183411 1355
build-model-states-explored 1184776 1365
build-model-states-explored 1186143 1367
build-model-states-explored 1187513 1370
build-model-states-explored 1188884 1371
build-model-states-explored 1190259 1375
build-model-states-explored 1191632 1373
build-model-states-explored 1193001 1369
build-model-states-explored 1194370 1369
build-model-states-explored 1195735 1365
build-model-states-explored 1197107 1372
build-model-states-explored 1198478 1371
build-model-states-explored 1199830 1352
build-model-states-explored 1201193 1363
build-model-states-explored 1202561 1368
build-model-states-explored 1203931 1370
build-model-states-explored 1205295 1364
build-model-states-explored 1206662 1367
build-model-states-explored 1208030 1368
build-model-states-explored 1209398 1368
build-model-states-explored 1210731 1333
build-model-states-explored 1212098 1367
build-model-states-explored 1213463 1365
build-model-states-explored 1214832 1369
build-model-states-explored 1216197 1365
build-model-states-explored 1217567 1370
build-model-states-explored 1218935 1368
build-model-states-explored 1220299 1364
build-model-states-explored 1221669 1370
build-model-states-explored 1223038 1369
build-model-states-explored 1224406 1368
build-model-states-explored 1225777 1371
build-model-states-explored 1227144 1367
build-model-states-explored 1228514 1370
build-model-states-explored 1229881 1367
build-model-states-explored 1231247 1366
build-model-states-explored 1232621 1374
build-model-states-explored 1233992 1371
build-model-states-explored 1235335 1343
build-model-states-explored 1236701 1366
build-model-states-explored 1238069 1368
build-model-states-explored 1239435 1366
build-model-states-explored 1240806 1371
build-model-states-explored 1242174 1368
build-model-states-explored 1243537 1363
build-model-states-explored 1244910 1373
build-model-states-explored 1246274 1364
build-model-states-explored 1247644 1370
build-model-states-explored 1249013 1369
build-model-states-explored 1250374 1361
build-model-states-explored 1251707 1333
build-model-states-explored 1253071 1364
build-model-states-explored 1254420 1349
build-model-states-explored 1255789 1369
build-model-states-explored 1257159 1370
build-model-states-explored 1258497 1338
build-model-states-explored 1259863 1366
build-model-states-explored 1261236 1373
build-model-states-explored 1262609 1373
build-model-states-explored 1263976 1367
build-model-states-explored 1265351 1375
build-model-states-explored 1266717 1366
build-model-states-explored 1268087 1370
build-model-states-explored 1269452 1365
build-model-states-explored 1270818 1366
build-model-states-explored 1272190 1372
build-model-states-explored 1273556 1366
build-model-states-explored 1274924 1368
build-model-states-explored 1276297 1373
build-model-states-explored 1277665 1368
build-model-states-explored 1279037 1372
build-model-states-explored 1280405 1368
build-model-states-explored 1281772 1367
build-model-states-explored 1283275 1503
build-model-states-explored 1284882 1607
build-model-states-explored 1286484 1602
build-model-states-explored 1288080 1596
build-model-states-explored 1289696 1616
build-model-states-explored 1291306 1610
build-model-states-explored 1292919 1613
build-model-states-explored 1294528 1609
build-model-states-explored 1296146 1618
build-model-states-explored 1297766 1620
build-model-states-explored 1299380 1614
build-model-states-explored 1301001 1621
build-model-states-explored 1302615 1614
build-model-states-explored 1304236 1621
build-model-states-explored 1305847 1611
build-model-states-explored 1307460 1613
build-model-states-explored 1309071 1611
build-model-states-explored 1310675 1604
build-model-states-explored 1312290 1615
build-model-states-explored 1313909 1619
build-model-states-explored 1315526 1617
build-model-states-explored 1317143 1617
build-model-states-explored 1318745 1602
build-model-states-explored 1320355 1610
build-model-states-explored 1321970 1615
build-model-states-explored 1323586 1616
build-model-states-explored 1325192 1606
build-model-states-explored 1326807 1615
build-model-states-explored 1328426 1619
build-model-states-explored 1330034 1608
build-model-states-explored 1331650 1616
build-model-states-explored 1333258 1608
build-model-states-explored 1334874 1616
build-model-states-explored 1336486 1612
build-model-states-explored 1338097 1611
build-model-states-explored 1339689 1592
build-model-states-explored 1341269 1580
build-model-states-explored 1342878 1609
build-model-states-explored 1344494 1616
build-model-states-explored 1346104 1610
build-model-states-explored 1347702 1598
build-model-states-explored 1349307 1605
build-model-states-explored 1350880 1573
build-model-states-explored 1352485 1605
build-model-states-explored 1354092 1607
build-model-states-explored 1355700 1608
build-model-states-explored 1357306 1606
build-model-states-explored 1358918 1612
build-model-states-explored 1360528 1610
build-model-states-explored 1362139 1611
build-model-states-explored 1363754 1615
build-model-states-explored 1365375 1621
build-model-states-explored 1366987 1612
build-model-states-explored 1368592 1605
build-model-states-explored 1370207 1615
build-model-states-explored 1371815 1608
build-model-states-explored 1373428 1613
build-model-states-explored 1375029 1601
build-model-states-explored 1376642 1613
build-model-states-explored 1378249 1607
build-model-states-explored 1379854 1605
build-model-states-explored 1381468 1614
build-model-states-explored 1383078 1610
build-model-states-explored 1384674 1596
build-model-states-explored 1386296 1622
build-model-states-explored 1387897 1601
build-model-states-explored 1389510 1613
build-model-states-explored 1391116 1606
build-model-states-explored 1392724 1608
build-model-states-explored 1394335 1611
build-model-states-explored 1395931 1596
build-model-states-explored 1397457 1526
build-model-states-explored 1399032 1575
build-model-states-explored 1400644 1612
build-model-states-explored 1402249 1605
build-model-states-explored 1403860 1611
build-model-states-explored 1405481 1621
build-model-states-explored 1407085 1604
build-model-states-explored 1408704 1619
build-model-states-explored 1410316 1612
build-model-states-explored 1411924 1608
build-model-states-explored 1413538 1614
build-model-states-explored 1415156 1618
build-model-states-explored 1416775 1619
build-model-states-explored 1418390 1615
build-model-states-explored 1419969 1579
build-model-states-explored 1421579 1610
build-model-states-explored 1423190 1611
build-model-states-explored 1424798 1608
build-model-states-explored 1426412 1614
build-model-states-explored 1428026 1614
build-model-states-explored 1429647 1621
build-model-states-explored 1431263 1616
build-model-states-explored 1432879 1616
build-model-states-explored 1434490 1611
build-model-states-explored 1435947 1457
build-model-states-explored 1437309 1362
build-model-states-explored 1438670 1361
build-model-states-explored 1440036 1366
build-model-states-explored 1441392 1356
build-model-states-explored 1442751 1359
build-model-states-explored 1444113 1362
build-model-states-explored 1445449 1336
build-model-states-explored 1446806 1357
build-model-states-explored 1448167 1361
build-model-states-explored 1449532 1365
build-model-states-explored 1450895 1363
build-model-states-explored 1452258 1363
build-model-states-explored 1453621 1363
build-model-states-explored 1454985 1364
build-model-states-explored 1456344 1359
build-model-states-explored 1457707 1363
build-model-states-explored 1459066 1359
build-model-states-explored 1460429 1363
build-model-states-explored 1461798 1369
build-model-states-explored 1463158 1360
build-model-states-explored 1464513 1355
build-model-states-explored 1465869 1356
build-model-states-explored 1467228 1359
build-model-states-explored 1468588 1360
build-model-states-explored 1469942 1354
build-model-states-explored 1471304 1362
build-model-states-explored 1472667 1363
build-model-states-explored 1474023 1356
build-model-states-explored 1475378 1355
build-model-states-explored 1476736 1358
build-model-states-explored 1478094 1358
build-model-states-explored 1479451 1357
build-model-states-explored 1480812 1361
build-model-states-explored 1482171 1359
build-model-states-explored 1483536 1365
build-model-states-explored 1484895 1359
build-model-states-explored 1486220 1325
build-model-states-explored 1487574 1354
build-model-states-explored 1488939 1365
build-model-states-explored 1490300 1361
build-model-states-explored 1491663 1363
build-model-states-explored 1493020 1357
build-model-states-explored 1494383 1363
build-model-states-explored 1495743 1360
build-model-states-explored 1497108 1365
build-model-states-explored 1498466 1358
build-model-states-explored 1499824 1358
build-model-states-explored 1501184 1360
build-model-states-explored 1502545 1361
build-model-states-explored 1503898 1353
build-model-states-explored 1505255 1357
build-model-states-explored 1506609 1354
build-model-states-explored 1507967 1358
build-model-states-explored 1509326 1359
build-model-states-explored 1510684 1358
build-model-states-explored 1512039 1355
build-model-states-explored 1513394 1355
build-model-states-explored 1514754 1360
build-model-states-explored 1516115 1361
build-model-states-explored 1517472 1357
build-model-states-explored 1518828 1356
build-model-states-explored 1520144 1316
build-model-states-explored 1521396 1252
build-model-states-explored 1522759 1363
build-model-states-explored 1524110 1351
build-model-states-explored 1525465 1355
build-model-states-explored 1526805 1340
build-model-states-explored 1528165 1360
build-model-states-explored 1529520 1355
build-model-states-explored 1530875 1355
build-model-states-explored 1532229 1354
build-model-states-explored 1533586 1357
build-model-states-explored 1534947 1361
build-model-states-explored 1536304 1357
build-model-states-explored 1537662 1358
build-model-states-explored 1539021 1359
build-model-states-explored 1540377 1356
build-model-states-explored 1541732 1355
build-model-states-explored 1543086 1354
build-model-states-explored 1544447 1361
build-model-states-explored 1545797 1350
build-model-states-explored 1547152 1355
build-model-states-explored 1548509 1357
build-model-states-explored 1549868 1359
build-model-states-explored 1551224 1356
build-model-states-explored 1552581 1357
build-model-states-explored 1553936 1355
build-model-states-explored 1555292 1356
build-model-states-explored 1556654 1362
build-model-states-explored 1558016 1362
build-model-states-explored 1559378 1362
build-model-states-explored 1560727 1349
build-model-states-explored 1562082 1355
build-model-states-explored 1563440 1358
build-model-states-explored 1564796 1356
build-model-states-explored 1566150 1354
build-model-states-explored 1567485 1335
build-model-states-explored 1568845 1360
build-model-states-explored 1570205 1360
build-model-states-explored 1571563 1358
build-model-states-explored 1572919 1356
build-model-states-explored 1574235 1316
build-model-states-explored 1575595 1360
build-model-states-explored 1576953 1358
build-model-states-explored 1578284 1331
build-model-states-explored 1579642 1358
build-model-states-explored 1581003 1361
build-model-states-explored 1582339 1336
build-model-states-explored 1583700 1361
build-model-states-explored 1585040 1340
build-model-states-explored 1586396 1356
build-model-states-explored 1587750 1354
build-model-states-explored 1589107 1357
build-model-states-explored 1590466 1359
build-model-states-explored 1591825 1359
build-model-states-explored 1593185 1360
build-model-states-explored 1594543 1358
build-model-states-explored 1595906 1363
build-model-states-explored 1597264 1358
build-model-states-explored 1598626 1362
build-model-states-explored 1599991 1365
build-model-states-explored 1601348 1357
build-model-states-explored 1602707 1359
build-model-states-explored 1604064 1357
build-model-states-explored 1605418 1354
build-model-states-explored 1606773 1355
build-model-states-explored 1608098 1325
build-model-states-explored 1609455 1357
build-model-states-explored 1610813 1358
build-model-states-explored 1612169 1356
build-model-states-explored 1613527 1358
build-model-states-explored 1614898 1371
build-model-states-explored 1616265 1367
build-model-states-explored 1617633 1368
build-model-states-explored 1619003 1370
build-model-states-explored 1620371 1368
build-model-states-explored 1621739 1368
build-model-states-explored 1623104 1365
build-model-states-explored 1624469 1365
build-model-states-explored 1625840 1371
build-model-states-explored 1627204 1364
build-model-states-explored 1628567 1363
build-model-states-explored 1629937 1370
build-model-states-explored 1631307 1370
build-model-states-explored 1632671 1364
build-model-states-explored 1634037 1366
build-model-states-explored 1635391 1354
build-model-states-explored 1636765 1374
build-model-states-explored 1638128 1363
build-model-states-explored 1639496 1368
build-model-states-explored 1640858 1362
build-model-states-explored 1642221 1363
build-model-states-explored 1643586 1365
build-model-states-explored 1644951 1365
build-model-states-explored 1646316 1365
build-model-states-explored 1647687 1371
build-model-states-explored 1649023 1336
build-model-states-explored 1650395 1372
build-model-states-explored 1651761 1366
build-model-states-explored 1653133 1372
build-model-states-explored 1654498 1365
build-model-states-explored 1655861 1363
build-model-states-explored 1657229 1368
build-model-states-explored 1658599 1370
build-model-states-explored 1659969 1370
build-model-states-explored 1661336 1367
build-model-states-explored 1662703 1367
build-model-states-explored 1664069 1366
build-model-states-explored 1665433 1364
build-model-states-explored 1666800 1367
build-model-states-explored 1668172 1372
build-model-states-explored 1669542 1370
build-model-states-explored 1670909 1367
build-model-states-explored 1672277 1368
build-model-states-explored 1673642 1365
build-model-states-explored 1675013 1371
build-model-states-explored 1676380 1367
build-model-states-explored 1677745 1365
build-model-states-explored 1679116 1371
build-model-states-explored 1680484 1368
build-model-states-explored 1681851 1367
build-model-states-explored 1683216 1365
build-model-states-explored 1684580 1364
build-model-states-explored 1685943 1363
build-model-states-explored 1687301 1358
build-model-states-explored 1688658 1357
build-model-states-explored 1689991 1333
build-model-states-explored 1691364 1373
build-model-states-explored 1692292 928
build-model-states-explored 1692292 0
build-model-states-explored 1692536 244
build-model-states-explored 1693910 1374
build-model-states-explored 1695287 1377
build-model-states-explored 1696663 1376
build-model-states-explored 1698035 1372
build-model-states-explored 1699411 1376
build-model-states-explored 1700789 1378
build-model-states-explored 1702172 1383
build-model-states-explored 1703551 1379
build-model-states-explored 1704925 1374
build-model-states-explored 1706300 1375
build-model-states-explored 1707672 1372
build-model-states-explored 1709043 1371
build-model-states-explored 1710415 1372
build-model-states-explored 1711786 1371
build-model-states-explored 1713158 1372
build-model-states-explored 1714529 1371
build-model-states-explored 1715898 1369
build-model-states-explored 1717270 1372
build-model-states-explored 1718637 1367
build-model-states-explored 1720008 1371
build-model-states-explored 1721389 1381
build-model-states-explored 1722764 1375
build-model-states-explored 1724146 1382
build-model-states-explored 1725514 1368
build-model-states-explored 1726888 1374
build-model-states-explored 1728239 1351
build-model-states-explored 1729616 1377
build-model-states-explored 1730989 1373
build-model-states-explored 1732363 1374
build-model-states-explored 1733739 1376
build-model-states-explored 1735115 1376
build-model-states-explored 1736488 1373
build-model-states-explored 1737861 1373
build-model-states-explored 1739234 1373
build-model-states-explored 1740604 1370
build-model-states-explored 1741968 1364
build-model-states-explored 1743345 1377
build-model-states-explored 1744723 1378
build-model-states-explored 1746081 1358
build-model-states-explored 1747451 1370
build-model-states-explored 1748822 1371
build-model-states-explored 1750197 1375
build-model-states-explored 1751573 1376
build-model-states-explored 1752946 1373
build-model-states-explored 1754322 1376
build-model-states-explored 1755697 1375
build-model-states-explored 1757074 1377
build-model-states-explored 1758443 1369
build-model-states-explored 1759816 1373
build-model-states-explored 1761190 1374
build-model-states-explored 1762564 1374
build-model-states-explored 1763937 1373
build-model-states-explored 1765314 1377
build-model-states-explored 1766691 1377
build-model-states-explored 1768069 1378
build-model-states-explored 1769431 1362
build-model-states-explored 1770803 1372
build-model-states-explored 1772175 1372
build-model-states-explored 1773552 1377
build-model-states-explored 1774925 1373
build-model-states-explored 1776297 1372
build-model-states-explored 1777673 1376
build-model-states-explored 1779046 1373
build-model-states-explored 1780416 1370
build-model-states-explored 1781791 1375
build-model-states-explored 1783160 1369
build-model-states-explored 1784533 1373
build-model-states-explored 1785902 1369
build-model-states-explored 1787278 1376
build-model-states-explored 1788656 1378
build-model-states-explored 1790035 1379
build-model-states-explored 1791407 1372
build-model-states-explored 1792785 1378
build-model-states-explored 1794161 1376
build-model-states-explored 1795529 1368
build-model-states-explored 1796902 1373
build-model-states-explored 1798276 1374
build-model-states-explored 1799651 1375
build-model-states-explored 1801204 1553
build-model-states-explored 1802814 1610
build-model-states-explored 1804431 1617
build-model-states-explored 1806048 1617
build-model-states-explored 1807655 1607
build-model-states-explored 1809277 1622
build-model-states-explored 1810906 1629
build-model-states-explored 1812498 1592
build-model-states-explored 1814122 1624
build-model-states-explored 1815749 1627
build-model-states-explored 1817387 1638
build-model-states-explored 1819017 1630
build-model-states-explored 1820637 1620
build-model-states-explored 1822269 1632
build-model-states-explored 1823887 1618
build-model-states-explored 1825515 1628
build-model-states-explored 1827144 1629
build-model-states-explored 1828780 1636
build-model-states-explored 1830406 1626
build-model-states-explored 1832041 1635
build-model-states-explored 1833675 1634
build-model-states-explored 1835308 1633
build-model-states-explored 1836942 1634
build-model-states-explored 1838581 1639
build-model-states-explored 1840212 1631
build-model-states-explored 1841852 1640
build-model-states-explored 1843485 1633
build-model-states-explored 1845120 1635
build-model-states-explored 1846751 1631
build-model-states-explored 1848378 1627
build-model-states-explored 1850013 1635
build-model-states-explored 1851647 1634
build-model-states-explored 1853282 1635
build-model-states-explored 1854916 1634
build-model-states-explored 1856541 1625
build-model-states-explored 1858173 1632
build-model-states-explored 1859798 1625
build-model-states-explored 1861383 1585
build-model-states-explored 1863015 1632
build-model-states-explored 1864642 1627
build-model-states-explored 1866276 1634
build-model-states-explored 1867908 1632
build-model-states-explored 1869537 1629
build-model-states-explored 1871165 1628
build-model-states-explored 1872796 1631
build-model-states-explored 1874424 1628
build-model-states-explored 1876050 1626
build-model-states-explored 1877677 1627
build-model-states-explored 1879289 1612
build-model-states-explored 1880891 1602
build-model-states-explored 1882514 1623
build-model-states-explored 1884148 1634
build-model-states-explored 1885787 1639
build-model-states-explored 1887425 1638
build-model-states-explored 1889044 1619
build-model-states-explored 1890664 1620
build-model-states-explored 1892299 1635
build-model-states-explored 1893933 1634
build-model-states-explored 1895565 1632
build-model-states-explored 1897190 1625
build-model-states-explored 1898816 1626
build-model-states-explored 1900454 1638
build-model-states-explored 1902084 1630
build-model-states-explored 1903721 1637
build-model-states-explored 1905355 1634
build-model-states-explored 1906987 1632
build-model-states-explored 1908620 1633
build-model-states-explored 1910199 1579
build-model-states-explored 1911794 1595
build-model-states-explored 1913426 1632
build-model-states-explored 1915056 1630
build-model-states-explored 1916685 1629
build-model-states-explored 1918320 1635
build-model-states-explored 1919946 1626
build-model-states-explored 1921583 1637
build-model-states-explored 1923214 1631
build-model-states-explored 1924846 1632
build-model-states-explored 1926479 1633
build-model-states-explored 1928107 1628
build-model-states-explored 1929734 1627
build-model-states-explored 1931358 1624
build-model-states-explored 1932987 1629
build-model-states-explored 1934563 1576
build-model-states-explored 1936189 1626
build-model-states-explored 1937817 1628
build-model-states-explored 1939459 1642
build-model-states-explored 1941089 1630
build-model-states-explored 1942716 1627
build-model-states-explored 1944344 1628
build-model-states-explored 1945967 1623
build-model-states-explored 1947593 1626
build-model-states-explored 1949222 1629
build-model-states-explored 1950837 1615
build-model-states-explored 1952460 1623
build-model-states-explored 1954085 1625
build-model-states-explored 1955714 1629
build-model-states-explored 1957345 1631
build-model-states-explored 1958948 1603
build-model-states-explored 1960571 1623
build-model-states-explored 1962200 1629
build-model-states-explored 1963817 1617
build-model-states-explored 1965441 1624
build-model-states-explored 1967079 1638
build-model-states-explored 1968707 1628
build-model-states-explored 1970338 1631
build-model-states-explored 1971969 1631
build-model-states-explored 1973600 1631
build-model-states-explored 1975238 1638
build-model-states-explored 1976873 1635
build-model-states-explored 1978496 1623
build-model-states-explored 1980119 1623
build-model-states-explored 1981752 1633
build-model-states-explored 1983379 1627
build-model-states-explored 1985010 1631
build-model-states-explored 1986642 1632
build-model-states-explored 1988280 1638
build-model-states-explored 1989895 1615
build-model-states-explored 1991511 1616
build-model-states-explored 1993021 1510
build-model-states-explored 1994391 1370
build-model-states-explored 1995755 1364
build-model-states-explored 1997123 1368
build-model-states-explored 1998491 1368
build-model-states-explored 1999862 1371
build-model-states-explored 2001236 1374
build-model-states-explored 2002613 1377
build-model-states-explored 2003987 1374
build-model-states-explored 2005331 1344
build-model-states-explored 2006705 1374
build-model-states-explored 2008079 1374
build-model-states-explored 2009450 1371
build-model-states-explored 2010811 1361
build-model-states-explored 2012179 1368
build-model-states-explored 2013543 1364
build-model-states-explored 2014913 1370
build-model-states-explored 2016281 1368
build-model-states-explored 2017649 1368
build-model-states-explored 2019020 1371
build-model-states-explored 2020384 1364
build-model-states-explored 2021752 1368
build-model-states-explored 2023120 1368
build-model-states-explored 2024486 1366
build-model-states-explored 2025854 1368
build-model-states-explored 2027223 1369
build-model-states-explored 2028589 1366
build-model-states-explored 2029955 1366
build-model-states-explored 2031321 1366
build-model-states-explored 2032693 1372
build-model-states-explored 2034066 1373
build-model-states-explored 2035432 1366
build-model-states-explored 2036794 1362
build-model-states-explored 2038162 1368
build-model-states-explored 2039528 1366
build-model-states-explored 2040894 1366
build-model-states-explored 2042262 1368
build-model-states-explored 2043634 1372
build-model-states-explored 2044998 1364
build-model-states-explored 2046351 1353
build-model-states-explored 2047728 1377
build-model-states-explored 2049104 1376
build-model-states-explored 2050478 1374
build-model-states-explored 2051857 1379
build-model-states-explored 2053225 1368
build-model-states-explored 2054594 1369
build-model-states-explored 2055962 1368
build-model-states-explored 2057330 1368
build-model-states-explored 2058698 1368
build-model-states-explored 2060061 1363
build-model-states-explored 2061428 1367
build-model-states-explored 2062803 1375
build-model-states-explored 2064170 1367
build-model-states-explored 2065541 1371
build-model-states-explored 2066914 1373
build-model-states-explored 2068282 1368
build-model-states-explored 2069657 1375
build-model-states-explored 2071025 1368
build-model-states-explored 2072393 1368
build-model-states-explored 2073754 1361
build-model-states-explored 2075122 1368
build-model-states-explored 2076488 1366
build-model-states-explored 2077855 1367
build-model-states-explored 2079218 1363
build-model-states-explored 2080583 1365
build-model-states-explored 2081950 1367
build-model-states-explored 2083321 1371
build-model-states-explored 2084690 1369
build-model-states-explored 2086065 1375
build-model-states-explored 2087421 1356
build-model-states-explored 2088793 1372
build-model-states-explored 2090162 1369
build-model-states-explored 2091536 1374
build-model-states-explored 2092907 1371
build-model-states-explored 2094278 1371
build-model-states-explored 2095649 1371
build-model-states-explored 2097010 1361
build-model-states-explored 2098261 1251
build-model-states-explored 2099631 1370
build-model-states-explored 2100998 1367
build-model-states-explored 2102367 1369
build-model-states-explored 2103734 1367
build-model-states-explored 2105103 1369
build-model-states-explored 2106455 1352
build-model-states-explored 2107815 1360
build-model-states-explored 2109174 1359
build-model-states-explored 2110550 1376
build-model-states-explored 2111919 1369
build-model-states-explored 2113287 1368
build-model-states-explored 2114625 1338
build-model-states-explored 2115990 1365
build-model-states-explored 2117358 1368
build-model-states-explored 2118723 1365
build-model-states-explored 2120089 1366
build-model-states-explored 2121455 1366
build-model-states-explored 2122821 1366
build-model-states-explored 2124194 1373
build-model-states-explored 2125548 1354
build-model-states-explored 2126918 1370
build-model-states-explored 2128278 1360
build-model-states-explored 2129645 1367
build-model-states-explored 2131018 1373
build-model-states-explored 2132396 1378
build-model-states-explored 2133765 1369
build-model-states-explored 2135138 1373
build-model-states-explored 2136505 1367
build-model-states-explored 2137877 1372
build-model-states-explored 2139247 1370
build-model-states-explored 2140621 1374
build-model-states-explored 2141991 1370
build-model-states-explored 2143365 1374
build-model-states-explored 2144726 1361
build-model-states-explored 2146098 1372
build-model-states-explored 2147462 1364
build-model-states-explored 2148833 1371
build-model-states-explored 2150200 1367
build-model-states-explored 2151569 1369
build-model-states-explored 2152939 1370
build-model-states-explored 2154316 1377
build-model-states-explored 2155683 1367
build-model-states-explored 2157057 1374
build-model-states-explored 2158427 1370
build-model-states-explored 2159798 1371
build-model-states-explored 2161166 1368
build-model-states-explored 2162538 1372
build-model-states-explored 2163907 1369
build-model-states-explored 2165282 1375
build-model-states-explored 2166646 1364
build-model-states-explored 2168017 1371
build-model-states-explored 2169360 1343
build-model-states-explored 2170734 1374
build-model-states-explored 2172107 1373
build-model-states-explored 2173475 1368
build-model-states-explored 2174837 1362
build-model-states-explored 2176213 1376
build-model-states-explored 2177580 1367
build-model-states-explored 2178948 1368
build-model-states-explored 2180312 1364
build-model-states-explored 2181687 1375
build-model-states-explored 2183054 1367
build-model-states-explored 2184421 1367
build-model-states-explored 2185790 1369
build-model-states-explored 2187164 1374
build-model-states-explored 2188528 1364
build-model-states-explored 2189894 1366
build-model-states-explored 2191258 1364
build-model-states-explored 2192620 1362
build-model-states-explored 2193982 1362
build-model-states-explored 2195349 1367
build-model-states-explored 2196713 1364
build-model-states-explored 2198083 1370
build-model-states-explored 2199448 1365
build-model-states-explored 2200818 1370
build-model-states-explored 2202184 1366
build-model-states-explored 2203555 1371
build-model-states-explored 2204921 1366
build-model-states-explored 2206287 1366
build-model-states-explored 2207650 1363
build-model-states-explored 2209021 1371
build-model-states-explored 2210374 1353
build-model-states-explored 2211742 1368
build-model-states-explored 2213112 1370
build-model-states-explored 2214484 1372
build-model-states-explored 2215851 1367
build-model-states-explored 2217223 1372
build-model-states-explored 2218594 1371
build-model-states-explored 2219969 1375
build-model-states-explored 2221336 1367
build-model-states-explored 2222709 1373
build-model-states-explored 2224078 1369
build-model-states-explored 2225443 1365
build-model-states-explored 2226815 1372
build-model-states-explored 2228180 1365
build-model-states-explored 2229555 1375
build-model-states-explored 2230929 1374
build-model-states-explored 2232305 1376
build-model-states-explored 2233678 1373
build-model-states-explored 2235057 1379
build-model-states-explored 2236431 1374
build-model-states-explored 2237805 1374
build-model-states-explored 2239176 1371
build-model-states-explored 2240550 1374
build-model-states-explored 2241925 1375
build-model-states-explored 2243301 1376
build-model-states-explored 2244675 1374
build-model-states-explored 2246046 1371
build-model-states-explored 2247416 1370
build-model-states-explored 2248789 1373
build-model-states-explored 2250160 1371
build-model-states-explored 2251508 1348
build-model-states-explored 2252883 1375
build-model-states-explored 2254259 1376
build-model-states-explored 2255629 1370
build-model-states-explored 2256999 1370
build-model-states-explored 2258369 1370
build-model-states-explored 2259742 1373
build-model-states-explored 2261113 1371
build-model-states-explored 2262485 1372
build-model-states-explored 2263851 1366
build-model-states-explored 2265222 1371
build-model-states-explored 2266593 1371
build-model-states-explored 2267964 1371
build-model-states-explored 2269338 1374
build-model-states-explored 2270694 1356
build-model-states-explored 2272068 1374
build-model-states-explored 2273439 1371
build-model-states-explored 2274812 1373
build-model-states-explored 2276187 1375
build-model-states-explored 2277553 1366
build-model-states-explored 2278923 1370
build-model-states-explored 2280292 1369
build-model-states-explored 2281662 1370
build-model-states-explored 2283035 1373
build-model-states-explored 2284408 1373
build-model-states-explored 2285743 1335
build-model-states-explored 2287112 1369
build-model-states-explored 2288483 1371
build-model-states-explored 2289853 1370
build-model-states-explored 2291227 1374
build-model-states-explored 2292592 1365
build-model-states-explored 2293966 1374
build-model-states-explored 2295343 1377
build-model-states-explored 2296716 1373
build-model-states-explored 2298089 1373
build-model-states-explored 2299460 1371
build-model-states-explored 2300835 1375
build-model-states-explored 2302207 1372
build-model-states-explored 2303581 1374
build-model-states-explored 2304954 1373
build-model-states-explored 2306324 1370
build-model-states-explored 2307697 1373
build-model-states-explored 2309066 1369
build-model-states-explored 2310437 1371
build-model-states-explored 2311812 1375
build-model-states-explored 2313183 1371
build-model-states-explored 2314556 1373
build-model-states-explored 2315926 1370
build-model-states-explored 2317300 1374
build-model-states-explored 2318669 1369
build-model-states-explored 2320042 1373
build-model-states-explored 2321416 1374
build-model-states-explored 2322788 1372
build-model-states-explored 2324160 1372
build-model-states-explored 2325535 1375
build-model-states-explored 2326898 1363
build-model-states-explored 2328273 1375
build-model-states-explored 2329645 1372
build-model-states-explored 2331015 1370
build-model-states-explored 2332383 1368
build-model-states-explored 2333715 1332
build-model-states-explored 2335092 1377
build-model-states-explored 2336469 1377
build-model-states-explored 2337843 1374
build-model-states-explored 2339219 1376
build-model-states-explored 2340597 1378
build-model-states-explored 2341970 1373
build-model-states-explored 2343348 1378
build-model-states-explored 2344721 1373
build-model-states-explored 2346091 1370
build-model-states-explored 2347460 1369
build-model-states-explored 2348830 1370
build-model-states-explored 2350199 1369
build-model-states-explored 2351570 1371
build-model-states-explored 2352944 1374
build-model-states-explored 2354318 1374
build-model-states-explored 2355693 1375
build-model-states-explored 2357069 1376
build-model-states-explored 2358437 1368
build-model-states-explored 2359812 1375
build-model-states-explored 2361188 1376
build-model-states-explored 2362561 1373
build-model-states-explored 2363932 1371
build-model-states-explored 2365304 1372
build-model-states-explored 2366675 1371
build-model-states-explored 2368044 1369
build-model-states-explored 2369417 1373
build-model-states-explored 2370788 1371
build-model-states-explored 2372162 1374
build-model-states-explored 2373535 1373
build-model-states-explored 2374889 1354
build-model-states-explored 2376265 1376
build-model-states-explored 2377637 1372
build-model-states-explored 2379012 1375
build-model-states-explored 2380384 1372
build-model-states-explored 2381752 1368
build-model-states-explored 2383130 1378
build-model-states-explored 2384500 1370
build-model-states-explored 2385871 1371
build-model-states-explored 2387246 1375
build-model-states-explored 2388619 1373
build-model-states-explored 2389995 1376
build-model-states-explored 2391368 1373
build-model-states-explored 2392739 1371
build-model-states-explored 2394114 1375
build-model-states-explored 2395485 1371
build-model-states-explored 2396858 1373
build-model-states-explored 2398227 1369
build-model-states-explored 2399601 1374
build-model-states-explored 2400975 1374
build-model-states-explored 2402347 1372
build-model-states-explored 2403723 1376
build-model-states-explored 2405100 1377
build-model-states-explored 2406472 1372
build-model-states-explored 2407846 1374
build-model-states-explored 2409216 1370
build-model-states-explored 2410586 1370
build-model-states-explored 2411956 1370
build-model-states-explored 2413324 1368
build-model-states-explored 2414697 1373
build-model-states-explored 2416051 1354
build-model-states-explored 2417426 1375
build-model-states-explored 2418803 1377
build-model-states-explored 2420173 1370
build-model-states-explored 2421546 1373
build-model-states-explored 2422921 1375
build-model-states-explored 2424291 1370
build-model-states-explored 2425662 1371
build-model-states-explored 2427039 1377
build-model-states-explored 2428412 1373
build-model-states-explored 2429781 1369
build-model-states-explored 2431154 1373
build-model-states-explored 2432525 1371
build-model-states-explored 2433899 1374
build-model-states-explored 2435263 1364
build-model-states-explored 2436650 1387
build-model-states-explored 2438270 1620
build-model-states-explored 2439879 1609
build-model-states-explored 2441490 1611
build-model-states-explored 2443100 1610
build-model-states-explored 2444725 1625
build-model-states-explored 2446346 1621
build-model-states-explored 2447964 1618
build-model-states-explored 2449580 1616
build-model-states-explored 2451203 1623
build-model-states-explored 2452801 1598
build-model-states-explored 2454426 1625
build-model-states-explored 2456054 1628
build-model-states-explored 2457681 1627
build-model-states-explored 2459307 1626
build-model-states-explored 2460905 1598
build-model-states-explored 2462534 1629
build-model-states-explored 2464165 1631
build-model-states-explored 2465799 1634
build-model-states-explored 2467432 1633
build-model-states-explored 2469055 1623
build-model-states-explored 2470683 1628
build-model-states-explored 2472317 1634
build-model-states-explored 2473900 1583
build-model-states-explored 2475518 1618
build-model-states-explored 2477147 1629
build-model-states-explored 2478775 1628
build-model-states-explored 2480389 1614
build-model-states-explored 2482023 1634
build-model-states-explored 2483653 1630
build-model-states-explored 2485289 1636
build-model-states-explored 2486919 1630
build-model-states-explored 2488545 1626
build-model-states-explored 2490172 1627
build-model-states-explored 2491800 1628
build-model-states-explored 2493397 1597
build-model-states-explored 2495023 1626
build-model-states-explored 2496650 1627
build-model-states-explored 2498273 1623
build-model-states-explored 2499901 1628
build-model-states-explored 2501522 1621
build-model-states-explored 2503142 1620
build-model-states-explored 2504772 1630
build-model-states-explored 2506398 1626
build-model-states-explored 2508030 1632
build-model-states-explored 2509618 1588
build-model-states-explored 2511247 1629
build-model-states-explored 2512876 1629
build-model-states-explored 2514498 1622
build-model-states-explored 2516122 1624
build-model-states-explored 2517748 1626
build-model-states-explored 2519351 1603
build-model-states-explored 2520979 1628
build-model-states-explored 2522608 1629
build-model-states-explored 2524233 1625
build-model-states-explored 2525856 1623
build-model-states-explored 2527479 1623
build-model-states-explored 2529102 1623
build-model-states-explored 2530724 1622
build-model-states-explored 2532346 1622
build-model-states-explored 2533969 1623
build-model-states-explored 2535594 1625
build-model-states-explored 2537224 1630
build-model-states-explored 2538844 1620
build-model-states-explored 2540461 1617
build-model-states-explored 2542095 1634
build-model-states-explored 2543727 1632
build-model-states-explored 2545349 1622
build-model-states-explored 2546963 1614
build-model-states-explored 2548562 1599
build-model-states-explored 2550166 1604
build-model-states-explored 2551783 1617
build-model-states-explored 2553412 1629
build-model-states-explored 2555041 1629
build-model-states-explored 2556669 1628
build-model-states-explored 2558276 1607
build-model-states-explored 2559880 1604
build-model-states-explored 2561502 1622
build-model-states-explored 2563108 1606
build-model-states-explored 2564710 1602
build-model-states-explored 2566324 1614
build-model-states-explored 2567959 1635
build-model-states-explored 2569578 1619
build-model-states-explored 2571198 1620
build-model-states-explored 2572821 1623
build-model-states-explored 2574451 1630
build-model-states-explored 2576084 1633


----------
Computation aborted after 1800.046629667282 seconds since the total time limit of 1800 seconds was exceeded.